On the Synthesis of Situation Control
نویسنده
چکیده
One approach for computing plans for reactive agents is is to check goal statements over state trajectories modeling predicted behaviors of an agent. This paper describes a powerful extension of this approach to handle time, safety, and liveness goals that are spec-iied by Metric Temporal Logic formulas. Our planning method is based on an incremental planning algorithm that generates a reactive plan by computing a sequence of partially satisfactory reactive plans converging towards a completely satisfactory one. Partial satisfaction means that an agent controlled by the plan accomplishes its goal only for some environment events. Complete satisfaction means that the agent accomplishes its goal whatever the environment event occur during the execution of the plan. As such, our planner can be stopped at any time to yield a useful plan.
منابع مشابه
Synthesis of human facial expressions based on the distribution of elastic force applied by control points
Facial expressions play an essential role in delivering emotions. Thus facial expression synthesis gain interests in many fields such as computer vision and graphics. Facial actions are generated by contraction and relaxation of the muscles innervated by facial nerves. The combination of those muscle motions is numerous. therefore, facial expressions are often person specific. But in general, f...
متن کاملMULTICRITERION SYNTHESIS OF INTELLIGENT CONTROL SYSTEMS OF GENERATING UNIT OF NUCLEAR POWER STATION
The paper is devoted to solution of some problems in nuclear power station generating unit intellectual control systems using genetic algorithms on the basis of control system model development, optimizations methods of their direct quality indices and improved integral quadratic estimates. Some mathematical vector models were obtained for control system multicriterion quality indices with due ...
متن کاملThe effect of nanoparticles and organic acids on bacterial nano- cellulose synthesis, crystalline structure and water holding capacity
Bacterial cellulose is a biological polymer with a variety of extraordinary properties which make it a functional material for different industrial fields. This work aimed at monitoring the effects of three different organic acids and nanoparticles on the production, water holding capacity and structural characteristics of bacterial cellulose. Different concentrations of organic acids and nanop...
متن کاملThe effect of nanoparticles and organic acids on bacterial nano- cellulose synthesis, crystalline structure and water holding capacity
Bacterial cellulose is a biological polymer with a variety of extraordinary properties which make it a functional material for different industrial fields. This work aimed at monitoring the effects of three different organic acids and nanoparticles on the production, water holding capacity and structural characteristics of bacterial cellulose. Different concentrations of organic acids and nanop...
متن کاملIdentifying the Effective Ethical Codes on Urban Management with Meta Synthesis Method
Purpose: The compliance ethical characteristics plays an important role in urban management, and accordingly, the purpose of this study was identifying the effective ethical codes on urban management with a meta synthesis method. Methodology: This study in terms of purpose was applied and in terms of implementation method was qualitative. The field of research was all articles of effective eth...
متن کاملExperimental Investigation on the Synthesis and Size Control of Copper Nanoparticle via Chemical Reduction Method
In this study, synthesis of copper nanoparticles and effect of the reaction conditions on the particle size were investigated. The copper nanoparticles were synthesized and stabilized in a narrow temperature range in the presence of polyvinylpyrrolidone under nitrogen atmosphere. Reaction temperature and concentration ratio of the reducing agent to the precursor (R/P) as two main conditions i...
متن کامل